Results for 'G. S. Howard'

1000+ found
Order:
  1. Reforming methodology in psychological research.G. S. Howard, W. H. Youngs & A. M. Siatczynski - 1988 - Journal of Mind and Behavior 10:393-412.
  2.  27
    Biography of Huang Ch'ao.E. G. Pulleyblank & Howard S. Levy - 1955 - Journal of the American Oriental Society 75 (3):192.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  31
    The pluralism of Antonio candido.Mariza G. S. Peirano & Howard S. Becker - 1992 - Sociological Theory 10 (1):43-59.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  4. What Causes Racial Health Care Disparities? A Mixed-Methods Study Reveals Variability in How Health Care Providers Perceive Causal Attributions.Sarah E. Gollust, Brooke A. Cunningham, Barbara G. Bokhour, Howard S. Gordon, Charlene Pope, Somnath S. Saha, Dina M. Jones, Tam Do & Diana J. Burgess - 2018 - Inquiry: The Journal of Health Care Organization, Provision, and Financing 55:004695801876284.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  23
    The interaction of pitch and loudness discriminations.J. Donald Harris, Andrew G. Pikler, Howard S. Hoffman & Richard H. Ehmer - 1958 - Journal of Experimental Psychology 56 (3):232.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  31
    Enhancement technologies and professional integrity.Franklin G. Miller & Howard Brody - 2005 - American Journal of Bioethics 5 (3):15 – 17.
    *The opinions expressed are the views of the author and do not necessarily reflect the policy of the National Institutes of Health, the Public Health Service, or the U.S. Department of Health and Human Services.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  8
    The Austrian Philosophy of Values. Howard O. Eaton.G. S. Brett - 1931 - International Journal of Ethics 41 (2):248-251.
  8.  24
    Recent Work on Hegel.Frederick G. Weiss & Howard P. Kainz - 1971 - American Philosophical Quarterly 8 (3):203 - 222.
    Part ii, "the future of hegel scholarship," by howard p. kainz. although the usual function of a bibliographical survey is to attend to what work has already been done, it would not seem inappropriate now and then for such a survey to call attention to work which still needs to be done in a certain area, i.e., to point out the existence of "gaps." the author, in attending to this admittedly subjective task, notes that in the area of hegel (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Robust vs Formal Normativity II, Or: No Gods, No Masters, No Authoritative Normativity.Nathan Robert Howard & N. G. Laskowski - forthcoming - In David Copp & Connie Rosati (eds.), The Oxford Handbook of Metaethics. Oxford University Press.
    Some rules seem more important than others. The moral rule to keep promises seems more important than the aesthetic rule not to wear brown with black or the pool rule not to scratch on the eight ball. A worrying number of metaethicists are increasingly tempted to explain this difference by appealing to something they call “authoritative normativity” – it’s because moral rules are “authoritatively normatively” that they are especially important. The authors of this chapter argue for three claims concerning “authoritative (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  20
    The Background of the Rebellion of An Lu-shan.Howard S. Levy & Edwin G. Pulleyblank - 1955 - Journal of the American Oriental Society 75 (3):188.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  2
    Review of Howard O. Eaton: The Austrian Philosophy of Values[REVIEW]G. S. Brett - 1931 - International Journal of Ethics 41 (2):248-251.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  12
    Book Review:The Austrian Philosophy of Values. Howard O. Eaton. [REVIEW]G. S. Brett - 1931 - International Journal of Ethics 41 (2):248-.
  13.  33
    By Author BAGHERI, Alireza. Criticism of “Brain.Tom L. Beauchamp, Howard Brody, Franklin G. Miller, Alexander S. Curtis, Martina Darragh, Patricia Milmoe, Ronald M. U. S. Green, Sharona Hoffman, Edmund G. Howe & Jeffrey P. Kahn - 2003 - Kennedy Institute of Ethics Journal 13 (4):407-09.
  14.  44
    The internal morality of medicine: Explication and application to managed care.Howard Brody & Franklin G. Miller - 1998 - Journal of Medicine and Philosophy 23 (4):384 – 410.
    Some ethical issues facing contemporary medicine cannot be fully understood without addressing medicine's internal morality. Medicine as a profession is characterized by certain moral goals and morally acceptable means for achieving those goals. The list of appropriate goals and means allows some medical actions to be classified as clear violations of the internal morality, and others as borderline or controversial cases. Replies are available for common objections, including the superfluity of internal morality for ethical analysis, the argument that internal morality (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  15.  74
    Reviews. [REVIEW]S. M. Easton, F. Seddon, Robert B. Louden, David Ingram, Michael Howard, Philip Moran, N. G. O. Pereira & Thomas A. Shipka - 1984 - Studies in East European Thought 28 (2):219-229.
  16. The World is Not Enough.Nathan Robert Howard & N. G. Laskowski - 2019 - Noûs 55 (1):86-101.
    Throughout his career, Derek Parfit made the bold suggestion, at various times under the heading of the "Normativity Objection," that anyone in possession of normative concepts is in a position to know, on the basis of their competence with such concepts alone, that reductive realism in ethics is not even possible. Despite the prominent role that the Normativity Objection plays in Parfit's non-reductive account of the nature of normativity, when the objection hasn't been ignored, it's been criticized and even derided. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  17. Meaning without analyticity: essays on logic, language and meaning.Howard G. Callaway (ed.) - 2008 - Newcastle upon Tyne: Cambridge Scholars Press.
    Meaning without Analyticity draws upon the author’s essays and articles, over a period of 20 years, focused on language, logic and meaning. The book explores the prospect of a non-behavioristic theory of cognitive meaning which rejects the analytic-synthetic distinction, Quinean behaviorism, and the logical and social-intellectual excesses of extreme holism. Cast in clear, perspicuous language and oriented to scientific discussions, this book takes up the challenges of philosophical communication and evaluation implicit in the recent revival of the pragmatist tradition—especially those (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Semantic competence and truth-conditional semantics.Howard G. Callaway - 1988 - Erkenntnis 28 (1):3 - 27.
    Davidson approaches the notions of meaning and interpretation with the aim of characterizing semantic competence in the syntactically characterized natural language. The objective is to provide a truth-theory for a language, generating T-sentences expressed in the semantic metalanguage, so that each sentence of the object language receives an appropriate interpretation. Proceeding within the constraints of referential semantics, I will argue for the viability of reconstructing the notion of linguistic meaning within the Tarskian theory of reference. However, the view proposed here (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  37
    Michael Brooks. The Quantum Astrologer’s Handbook: A History of the Renaissance Mathematics That Birthed Imaginary Numbers, Probability, and the New Physics of the Universe. 256 pp. Melbourne/London: Scribe Publications, 2017. $26 (cloth); ISBN 9781947534810. Paper and e-book available. [REVIEW]Howard G. Barth - 2020 - Isis 111 (4):874-875.
  20.  63
    Let's make a deal: Quality and availability of second-stage information as a catalyst for change.Jeffrey N. Howard, Charles G. Lambdin & Darcee L. Datteri - 2007 - Thinking and Reasoning 13 (3):248 – 272.
    The Monty Hall Problem (MHP), a process of two-stage decision making, was presented in atypical form via a custom software game. Differing from the normal three-box MHP, the game added one additional box on-screen for each game—culminating on game 23 with 25 on-screen boxes to initially choose from. A total of 108 participants played 23 games (trials) in one of four conditions; (1) “Vanish” condition—all non-winning boxes totally removed from the screen; (2) “Empty” condition—all non-winning boxes remain on-screen, but with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Phenomenal Concepts as Complex Demonstratives.Nathan Robert Howard & N. G. Laskowski - 2021 - Res Philosophica 98 (3):499-508.
    There’s a long but relatively neglected tradition of attempting to explain why many researchers working on the nature of phenomenal consciousness think that it’s hard to explain.1 David Chalmers argues that this “meta-problem of consciousness” merits more attention than it has received. He also argues against several existing explanations of why we find consciousness hard to explain. Like Chalmers, we agree that the meta-problem is worthy of more attention. Contra Chalmers, however, we argue that there’s an existing explanation that is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  93
    American Ethics: A Source Book from Edwards to Dewey.Guy W. Stroh & Howard G. Callaway (eds.) - 2000 - University Press of America.
    This book collects some 75 texts from the history of American thought, starting with the colonial religious background, and arranged into 6 historically oriented chapers. Each chapter has a general introduction and ends with suggestions for further readings; and each of the texts is prefaced by a short explanatory paragraph. Overall, the book provides an historical introduction to central ethical themes of American thought.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  43
    Book Reviews Section 4.Frederic B. Mayo Jr, John Bruce Francis, John S. Burd, Wilson A. Judd, Eunice S. Matthew, William F. Pinar, Paul Erickson, Charles John Stark, Walter H. Clark Jr, Irvin David Glick, Howard D. Bruner, John Eddy, David L. Pagni, Gloria J. Abbington, Michael L. Greenbaum, Phillip C. Frey, Robert G. Owens, Royce W. van Norman, M. Bruce Haslam, Eugene Hittleman, Sally Geis, Robert H. Graham, Ogden L. Glasow, A. L. Fanta & Joseph Fashing - 1973 - Educational Studies 4 (4):198-200.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  10
    Dialogical Social Theory.Donald N. Levine & Howard G. Schneiderman - 2018 - Routledge.
    In his final work, Donald N. Levine, one of the great late-twentieth-century sociological theorists, brings together diverse social thinkers. Simmel, Weber, Durkheim, Parsons, and Merton are set into a dialogue with philosophers such as Hobbes, Smith, Montesquieu, Comte, Kant, and Hegel and pragmatists such as Peirce, James, Dewey, and McKeon to describe and analyze dialogical social theory. This volume is one of Levine's most important contributions to social theory and a worthy summation of his life's work. Levine demonstrates that approaching (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  26
    A short introduction to intuitionistic logic.G. E. Mint︠s︡ - 2000 - New York: Kluwer Academic / Plenum Publishers.
    Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  26.  92
    Identification of common variants influencing risk of the tauopathy progressive supranuclear palsy.Günter U. Höglinger, Nadine M. Melhem, Dennis W. Dickson, Patrick M. A. Sleiman, Li-San Wang, Lambertus Klei, Rosa Rademakers, Rohan de Silva, Irene Litvan, David E. Riley, John C. van Swieten, Peter Heutink, Zbigniew K. Wszolek, Ryan J. Uitti, Jana Vandrovcova, Howard I. Hurtig, Rachel G. Gross, Walter Maetzler, Stefano Goldwurm, Eduardo Tolosa, Barbara Borroni, Pau Pastor, P. S. P. Genetics Study Group, Laura B. Cantwell, Mi Ryung Han, Allissa Dillman, Marcel P. van der Brug, J. Raphael Gibbs, Mark R. Cookson, Dena G. Hernandez, Andrew B. Singleton, Matthew J. Farrer, Chang-En Yu, Lawrence I. Golbe, Tamas Revesz, John Hardy, Andrew J. Lees, Bernie Devlin, Hakon Hakonarson, Ulrich Müller & Gerard D. Schellenberg - unknown
    Progressive supranuclear palsy is a movement disorder with prominent tau neuropathology. Brain diseases with abnormal tau deposits are called tauopathies, the most common of which is Alzheimer's disease. Environmental causes of tauopathies include repetitive head trauma associated with some sports. To identify common genetic variation contributing to risk for tauopathies, we carried out a genome-wide association study of 1,114 individuals with PSP and 3,247 controls followed by a second stage in which we genotyped 1,051 cases and 3,560 controls for the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Descartes's Language Test and Ape Language Research.Howard Sankey - 2010 - Teorema: International Journal of Philosophy 29 (2):111-123.
    Some philosophers (e.g. Descartes) argue that there is an evidential relationship between language and thought, such that presence of language is indicative of mind. Recent language acquisition research with apes such as chimpanzees and bonobos attempts to demonstrate the capacity of these primates to acquire at least rudimentary linguistic capacity. This paper presents a case study of the ape language research and explores the consequences of the research with respect to the argument that animals lack mind because they fail to (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  25
    G.W.F. Hegel: the philosophical system.Howard P. Kainz - 1996 - Athens: Ohio University Press.
    Georg Wilhelm Friedrich Hegel, perhaps the most influential of all German philosophers, made one of the last great attempts to develop philosophy as an all-embracing scientific system. This system places Hegel among the “classical” philosophers—Aristotle, Aquinas, Spinoza—who also attempted to build grand conceptual edifices. In this study, available for the first time in paperback, Howard P. Kainz emphasizes the uniqueness of Hegel's system by focusing on his methodology, terminology, metaphorical and paradoxical language, and his special contributions to metaphysics, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  34
    The Aesthetic Preference for Nature Sounds Depends on Sound Object Recognition.Stephen C. Van Hedger, Howard C. Nusbaum, Shannon L. M. Heald, Alex Huang, Hiroki P. Kotabe & Marc G. Berman - 2019 - Cognitive Science 43 (5):e12734.
    People across the world seek out beautiful sounds in nature, such as a babbling brook or a nightingale song, for positive human experiences. However, it is unclear whether this positive aesthetic response is driven by a preference for the perceptual features typical of nature sounds versus a higher‐order association of nature with beauty. To test these hypotheses, participants provided aesthetic judgments for nature and urban soundscapes that varied on ease of recognition. Results demonstrated that the aesthetic preference for nature soundscapes (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  30.  11
    Charles Barkley's Dilemma: A Response to “The Professionalism Movement: Can We Pause?” by Delese Wear and Mark G. Kuczewski.Howard Trachtman - 2004 - American Journal of Bioethics 4 (3):W38-W39.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31. Some Questions In R.G.Collingwood's Theory Of Historical Understanding.Howard Tuttle - 1977 - Southwest Philosophical Studies.
     
    Export citation  
     
    Bookmark  
  32.  7
    G.Howard Caygill - 2017 - In A Kant Dictionary. Oxford, UK: Blackwell. pp. 210–220.
    The influence of Kant's philosophy has been, and continues to be, so profound and so widespread as to have become imperceptible. Philosophical inquiry within both the ‘analytic’ and the ‘continental’ traditions is unthinkable without the lexical and conceptual resources bequeathed by Kant. Even outside philosophy, in the humanities, social sciences and natural sciences, Kantian concepts and structures of argument are ubiquitous. Anyone practicing literary or social criticism is contributing to the Kantian tradition; anyone reflecting on the epistemological implications of their (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Empirical and Philosophical Reactions to Harcum's "Behavioral Paradigm for a Psychological Resolution of the Free Will Issue".Howard Pollio & Tracy Henley - 1991 - Journal of Mind and Behavior 12 (1):115-134.
    This paper begins with a brief description and analysis of Harcum's "Behavioral Paradigm for a Psychological Resolution of the Free Will Issue" focusing on issues concerning first-person and third-person perspectives in psychological research and theory. This consideration is expanded to cover a variety of related issues including "unconscious processes" and philosophical discussions of free will. Two studies, similar to Harcum's original study, but analyzed from a first-person perspective, are reported and contrasted with Harcum's work. Results of these studies reveal that (...)
     
    Export citation  
     
    Bookmark  
  34. Relativism, Particularism and Reflective Equilibrium.Howard Sankey - 2014 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 45 (2):281-292.
    In previous work, I have sought to show that the basic argument for epistemic relativism derives from the problem of the criterion that stems from ancient Pyrrhonian scepticism. Because epistemic relativism depends upon a sceptical strategy, it is possible to respond to relativism on the basis of an anti-sceptical strategy. I argue that the particularist response to scepticism proposed by Roderick Chisholm may be combined with a naturalistic and reliabilist conception of epistemic warrant as the basis for a satisfactory response (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  38
    G.W.F. Hegel: Philosophical System.Howard P. Kainz - 1996 - Athens: Ohio University Press.
    Georg Wilhelm Friedrich Hegel, perhaps the most influential of all German philosophers, made one of the last great attempts to develop philosophy as an all-embracing scientific system. This system places Hegel among the “classical” philosophers — Aristotle, Aquinas, Spinoza — who also attempted to build grand conceptual edifices._ In this study, available for the first time in paperback, Howard P. Kainz emphasizes the uniqueness of Hegel's system by focusing on his methodology, terminology, metaphorical and paradoxical language, and his special (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. Griswold's forgiveness university of california, riverside 3/25/2008 8:33:00 AM.Howard Wettstein - unknown
    • When one reflects on the range of actual cases in which forgiveness seems appropriate, it’s really a subset of them that involve moral wrongdoing. When one thinks of the domestic context, e.g., where forgiveness, apology, and the like are very common, painfully common, much of what is at issue are not serious moral wrongs but rather slights, insensitivities like inappropriate tones of voice (sometimes even marginally so). Or consider philosopher’s reactions to the slights involved in how their work is (...)
     
    Export citation  
     
    Bookmark  
  37.  23
    G. Petrovic's "Marx in the Mid-Twentieth Century: A Yugoslav Philosopher Reconsiders Karl Marx's Writings". [REVIEW]Howard L. Parsons - 1968 - Philosophy and Phenomenological Research 29 (1):137.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38.  17
    Einstein and the History of General Relativity.Don Howard & John Stachel (eds.) - 1989 - Birkhäuser.
    Based upon the proceedings of the First International Conference on the History of General Relativity, held at Boston University's Osgood Hill Conference Center, North Andover, Massachusetts, 8-11 May 1986, this volume brings together essays by twelve prominent historians and philosophers of science and physicists. The topics range from the development of general relativity (John Norton, John Stachel) and its early reception (Carlo Cattani, Michelangelo De Maria, Anne Kox), through attempts to understand the physical implications of the theory (Jean Eisenstaedt, Peter (...)
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  39.  12
    Horace's voladictory: Carm. 2.20.Howard Jacobson - 1995 - Classical Quarterly 45 (02):573-.
    ‘It is not likely that anything absolutely new can be added to the interpretation of this familiar poem.’ So G. L. Hendrickson forty five years ago. It need scarcely be noted that in spite of these cautionary words much has been written on this ode in the intervening years. With hesitation I add here a few words on what seems to me an overlooked yet central aspect of this poem.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  99
    Einstein and the Development of Twentieth-Century Philosophy of Science.Don Howard - unknown
    What is Albert Einstein’s place in the history of twentieth-century philosophy of science? Were one to consult the histories produced at mid-century from within the Vienna Circle and allied movements (e.g., von Mises 1938, 1939, Kraft 1950, Reichenbach 1951), then one would find, for the most part, two points of emphasis. First, Einstein was rightly remembered as the developer of the special and general theories of relativity, theories which, through their challenge to both scientific and philosophical orthodoxy made vivid the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  41.  76
    Hiddenness of God.Daniel Howard-Snyder & Adam Green - 2016 - Stanford Encyclopedia of Philosophy.
    “Divine hiddenness”, as the phrase suggests, refers, most fundamentally, to the hiddenness of God, i.e., the alleged fact that God is hidden, absent, silent. In religious literature, there is a long history of expressions of annoyance, anxiety, and despair over divine hiddenness, so understood. For example, ancient Hebrew texts lament God’s failure to show up in experience or to show proper regard for God’s people or some particular person, and two Christian Gospels portray Jesus, in his cry of dereliction on (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  42.  6
    Extreme outcome expectations and affect intensity.Mügé Dizén & Howard Berenbaum - 2008 - Cognition and Emotion 22 (6):1130-1148.
    Cognitive accounts of emotion agree that appraisal of situations or events with respect to their implications for one's well-being, goals, needs, and concerns, generate emotions (e.g., Frijda, 1986...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43. G W F Hegel ’s Spirit: Chapter Six Of Hegel's Phenomenology Of Spirit. [REVIEW]Howard Kainz - 2004 - Bulletin of the Hegel Society of Great Britain 49:139-151.
     
    Export citation  
     
    Bookmark  
  44.  9
    G. W. F. Hegel, Spirit: Chapter Six of Hegel's Phenomenology of Spirit, translated by The Hegel Translation Group, edited, with Introduction, Notes and Commentary by Daniel Shannon , pp. xx + 236. ISBN 0-87220-569-x. [REVIEW]Howard P. Kainz - 2004 - Hegel Bulletin 25 (1-2):139-151.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45. The Fellowship of Confessing Anglicans: Should Conservative Anglicans Sign Up?Daniel Howard-Snyder - unknown
    The Fellowship of Confessing Anglicans (FCA), whose leaders govern well over half of the 80 million Anglicans worldwide, have put forward ‘a contemporary rule,’ called The Jerusalem Declaration, to guide the Anglican realignment movement. The FCA and its affiliates, e.g. the newly-formed Anglican Church in North America, require assent to the Declaration. To date, there has been little serious appraisal of the Declaration and the status accorded to it. I aim to correct that omission. Unlike ap-praisals in the social media, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  15
    Aeneid 4.622–3.Howard Jacobson - 1998 - Classical Quarterly 48 (01):313-.
    R. G. Austin's translation of these famous imprecations of Dido's seems to me perfectly representative, ‘and then do you, my Tyrians, hound with hate and hate again all his stock and all his race to be’. I see no strong arguments against such an interpretation of this sentence, but I think that an alternative—and very different—understanding of these words is likely.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  64
    Lectures on the Curry-Howard isomorphism.Morten Heine Sørensen - 2007 - Boston: Elsevier. Edited by Paweł Urzyczyn.
    The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds (...)
    Direct download  
     
    Export citation  
     
    Bookmark   30 citations  
  48.  5
    Book Review of Lectures on the History of Philosophy: The Lectures of 1825–1826, Volume III, by G.W.F. Hegel; ed. by Robert F. Brown; trans. by R.F. Brown and J.M. Stewart, with the assistance of H.S. Harris. [REVIEW]Howard Kainz - unknown
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  16
    In the Spirit of Hegel: A Study of G. W. F. Hegel's Phenomenology of Spirit. By Robert C. Solomon. [REVIEW]Howard P. Kainz - 1986 - Modern Schoolman 63 (3):229-230.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  50.  36
    No decreasing sequence of cardinals.Paul Howard & Eleftherios Tachtsis - 2016 - Archive for Mathematical Logic 55 (3-4):415-429.
    In set theory without the Axiom of Choice, we investigate the set-theoretic strength of the principle NDS which states that there is no function f on the set ω of natural numbers such that for everyn ∈ ω, f ≺ f, where for sets x and y, x ≺ y means that there is a one-to-one map g : x → y, but no one-to-one map h : y → x. It is a long standing open problem whether NDS implies (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000